Small-gain theorem for safety verification of interconnected systems

نویسندگان

چکیده

A small-gain theorem in the formulation of barrier function is developed this work for safety verification interconnected systems. This result helpful to verify input-to-state (ISSf) systems from information encoded individual ISSf-barrier functions. Also, it can be used obtain a set higher dimensional space sets two lower spaces.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Lyapunov-based small-gain theorem for interconnected switched systems

Stability of an interconnected system consisting of two switched systems is investigated in the scenario where in both switched systems theremay exist some subsystems that are not input-to-state stable (nonISS). We show that, providing the switching signals neither switch too frequently nor activate non-ISS subsystems for too long, a small-gain theorem can be used to conclude global asymptotic ...

متن کامل

A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems

The goal of this paper is to provide a Lyapunov statement and proof of the recent nonlinear small-gain theorem for interconnected input/state-stable (ISS) systems. An ISS-Lyapunov function for the overall system is obtained from the corresponding Lyapunov functions for both the subsystems. Copyright @ 1996 Elsevier Science Ltd.

متن کامل

ISDS small-gain theorem and construction of ISDS Lyapunov functions for interconnected systems

We consider networks of input-to-state dynamically stable (ISDS) systems and use a small-gain condition to assure the ISDS property for their interconnection. Under this small-gain condition we provide a construction of an ISDS Lyapunov function including explicit derivation of corresponding rates and gains for the whole interconnection. © 2010 Elsevier B.V. All rights reserved.

متن کامل

Discrete-time Lyapunov-based small-gain theorem for parameterized interconnected ISS systems

Input-to-state stability (ISS) of a feedback interconnection of two discrete-time ISS systems satisfying an appropriate small gain condition is investigated via the Lyapunov method. In particular, an ISS Lyapunov function for the overall system is constructed from the ISS Lyapunov functions of the two subsystems. We consider parameterized families of discrete-time systems that naturally arise w...

متن کامل

Lyapunov based small-gain theorem for parameterized discrete-time interconnected ISS systems

Input-to-state stability (ISS) of a feedback interconnection of two discrete-time ISS systems satisfying an appropriate small gain condition is investigated via the Lyapunov method. In particular, an ISS Lyapunov function for the overall system is constructed from the ISS Lyapunov functions of the two subsystems. We consider parameterized families of discretetime systems that naturally arise wh...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Automatica

سال: 2022

ISSN: ['1873-2836', '0005-1098']

DOI: https://doi.org/10.1016/j.automatica.2022.110178